dig (someone) out of a hole